MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:44 GMT
Content-Type: text/html
Content-Length: 12031
Last-Modified: Monday, 30-Dec-96 20:28:24 GMT

<title>QSIM Users</title>
<!-- Changed by: Benjamin J. Kuipers, 19-Jun-1996 -->
<body    bgcolor="#ffffff"  text="#000000"  link="#0000ee" vlink="551a8b" alink="ff0000">

<h1>QSIM Applications and Extensions</h1>

This page holds pointers to published articles describing applications and
extensions of QSIM, other than what my group has done at UT-Austin.
(For those papers, see our  <!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html">indexed bibliography</a>.)
 <P>

  <ul>
   <li> <!WA1><!WA1><!WA1><a href="#QR-highlights"> Highlights </a>
   <li> <!WA2><!WA2><!WA2><a href="#QSIM-apps"> QSIM Applications </a>
   <li> <!WA3><!WA3><!WA3><a href="#QSIM-adv"> Qualitative Simulation </a>
   <li> <!WA4><!WA4><!WA4><a href="#QR-biblio"> Bibliography </a>
   <li> <!WA5><!WA5><!WA5><a href="#QR-groups"> QR Groups </a>
  </ul>

I try to provide citations to archival sources, but some references
are to the QR Workshop or to local technical reports.  I also try to
provide email addresses for at least one author.  <p>

<BLOCKQUOTE> <EM>This list is undoubtedly incomplete.  (Last update
1-11-96.)  Please send me any additional suggestions or citations I
should include.  Thanks.  Ben.  (kuipers@cs.utexas.edu)</EM>
</BLOCKQUOTE> <P>

<hr>

<a name="QR-highlights"> </a>
<h2>Highlights</h2>

 <ul>


  <li> <B>QSIM in Parallel Hardware</B> <P>

A significant barrier to application of QSIM to large-scale problems is the
efficiency of qualitative simulation.  Recently, a group at T.U. Graz in Austria
have designed and implemented a special-purpose parallel hardware architecture
for qualitative simulation.  See their Web page and published papers. <P>

<!WA6><!WA6><!WA6><a href="http://fitids01.tu-graz.ac.at/research/qsim.html">
Reinhold Weiss, Marco Platzner, Bernhard Rinner</a>, T.U. Graz, Austria.

 </ul>



<hr>

<a name="QSIM-apps"> </a>
<h2>Applications of QSIM and related systems</h2>

 <ul>

  <li> Gautam Biswas, Stefanos Manganaris, and Xudong Yu.  1993.
<b>Extending component connection modeling for analyzing complex
physical systems.</b> <CITE>IEEE Expert</CITE> 8(1): 48-57, February
1993. <br> [biswas@vuse.vanderbilt.edu] <P>


<LI>  G. Biswas, K. Krishnamurthy, and P.K. Basu  1991.   <b>Applying qualitative
     reasoning techniques for analysis and evaluation in structural design</b>.
     <CITE>Seventh IEEE Conference on AI Applications</CITE>,
     Miami Beach, FL, Feb. 26-28, 1991, pp. 265-268.<br>
     [biswas@vuse.vanderbilt.edu] <P>

  <li> A. C. Capelo, L. Ironi and S. Tentoni.  1993.  <b>A model-based
system for the classification and analysis of materials.</b>
<CITE>Intelligent Systems Engineering</CITE> 2(3): 145-158, 1993. <br>
Materials science (rheology).  <br> [liliana@supers1.ian.pv.cnr.it]
<P>

  <li> C. A. Catino and L. H. Ungar.  1994.  <b>A model-based approach
to automated hazard identification of chemical plants.</b>
<CITE>Computers and Chem. Engr.</CITE>, in press. <br>
[ungar@central.cis.upenn.edu] <P>

  <li> David T. Dalle Molle and T. F. Edgar.  1989.  <b>Qualitative
modeling of chemical reaction systems.</b> In M. Mavrovouniotis (Ed.),
<CITE>Artificial Intelligence Applications in Process
Engineering</CITE>, Academic Press, 1989. <br>
[dtdallemolle@amoco.com] <P>

  <li> Oskar Dressler and Hartmut Freitag.  1994.  <b>Prediction
sharing across time and contexts.</b> <CITE>AAAI-94.</CITE> <br>
[dressler@zfe.siemens.de] <P>

  <li> Adam Farquhar and Giorgio Brajnik.  1994.  <b>A
semi-quantitative physics compiler.</b> <CITE>Working Papers of the
Eighth International Workshop on Qualitative Reasoning
(QR'94)</CITE>. <br> Modeling a system of lakes and dams. <br>
[axf@ksl.stanford.edu] <P>

  <li> Yang Gao and Hugh F. Durrant-Whyte.  1994.  <b>Integrating
qualitative simulation for numerical data fusion methods.</b>
<CITE>Working Papers of the Eighth International Workshop on
Qualitative Reasoning (QR'94)</CITE>. <P>

  <li> E. Gazi, L. H. Ungar, and W. D. Seider.  1994.  <b>Controller verification using
qualitative reasoning.</b>  <CITE>ADCHEM Proceedings.</CITE> <br>
[ungar@central.cis.upenn.edu] <P>

  <li> A. S. Glass, P. Gruber, M. Roos and J. Todtli.  1994.  <B>Preliminary 
evaluation of a qualitative model-based fault detector for a central air-handling unit.</B>
<CITE>Proceedings of the 3rd IEEE Conference on Control Applications</CITE>,
Strathclyde University, Glasgow, August 24-26, 1994.  <P>

  <li> Thomas R. Gruber and Patrice O. Gautier.  1993.  <b>Machine generated explanations of
engineering models:  a compositional modeling approach.</b>
<CITE>IJCAI-93</CITE>. <br>
[gruber@ksl.stanford.edu]   <P>

  <li> S. B. Jorgensen and K. M. Hangos.  1995.  <b>Grey box modelling for control:
qualitative models as a unifying framework</b>.  <cite>Int. J. Adaptive Control
and Signal Processing</cite> 9: 547-562.  <p>

  <li> L. Ironi, M. Stefanelli and G. Lanzola.  1990.  <b>Qualitative
models in medical diagnosis.</b> <CITE>Artificial Intelligence in
Medicine</CITE> 2: 85-101, 1990. <br> Models of iron metabolism.  <br>
[liliana@supers1.ian.pv.cnr.it] <P>

  <li> L. Ironi and M. Stefanelli.  1994.  <b>A framework for building and simulating qualitative
models of compartmental systems.</b>  
<CITE>Computer Methods and Programs in Biomedicine</CITE> 42: 233-254, 1994. <br>
QCML - compartmental models, insulin-glucose system.  <br>
[liliana@supers1.ian.pv.cnr.it]  <P>

  <li>  Y. Iwasaki & C. M. Low. <b>Model generation and simulation of
device behavior with continuous and discrete changes.</b> <CITE>Intelligent Systems
Engineering</CITE> 1(2), 1991. 
<!WA7><!WA7><!WA7><A HREF="http://www-ksl.stanford.edu/KSL_Abstracts/KSL-91-69.html">(Abstract)</A> <br>
[iwasaki@ksl.stanford.edu] <P>

  <li> N. Kaul, G. Biswas, and B. Bhuva.  1992. <b> Multi-level qualitative reasoning
    applied to CMOS digital circuits</b>.
    <CITE>Intl. Journal of AI in Engineering</CITE>, vol. 7, pp. 125-137, 1992.<br>
     [biswas@vuse.vanderbilt.edu] <P>

  <li> N. Kaul, G. Biswas, and B. Bhuva.  1994.  <b>An AI approach to multi-level,
     mixed-mode qualitative simulation of CMOS ICs</b>.
     <CITE>Computers and Electrical Engineering, An International Journal</CITE>
     vol. 20, pp. 369-382, 1994. <br>
     [biswas@vuse.vanderbilt.edu]<P>

  <li> Franz Lackinger and Wolfgang Nejdl.  1993.  <b>Diamon: a
model-based troubleshooter based on qualitative reasoning.</b>
<CITE>IEEE Expert</CITE> 8(1): 33-40, February 1993.  (Shorter version
in IJCAI-91.) <P>

  <li> Karl R. Lang and James C. Moore and Andrew B. Whinston.  1995.
<B>Computational systems for qualitative economics</B>.
<cite>Computational Economics</cite> 8: 1-26.  <P>

  <li> Hwee Tou Ng.  1991.  
<!WA8><!WA8><!WA8><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Ng-ieex-91.ps.Z">
<b>Model-based, multiple fault diagnosis of time-varying,
continuous physical devices.</b></a>
<CITE>IEEE Expert</CITE> 6(6): 38-43, December 1991. <P>

  <li> Steven R. LeClair and Frances L. Abrams.  1988.  <b>Qualitative
process automation.</b> <CITE>Proceedings of the 27th IEEE Conference
on Decision and Control</CITE>, Austin, Texas, December 1988. <P>

  <li> Sharad Saxena and Amy Unruh.  <b>Diagnosis of semiconductor
manufacturing equipment and processes.</b> <CITE>IEEE Trans. on
Semiconductor Manufacturing</CITE> 7(2): 220-232, May 1994. <br>
[unruh@spdc.ti.com] <P>

  <li> Y. Umeda, T. Tomiyama, H. Yoshikawa, and Y. Shimomura.  <b>A
design methodology for self-maintenance machines.</b> To appear
<CITE>IEEE Expert</CITE>, Special issue on Embedded AI. <br>
Self-maintaining MITA copier. <P>

  <li> J. M. Vinson, S. D. Grantham, and L. H. Ungar.  1992.
<b>Automatic rebuilding of qualitative models for diagnosis.</b>
<CITE>IEEE Expert</CITE>, August 1992.<br>
[ungar@central.cis.upenn.edu] <P>

  <li> J. M. Vinson and L. H. Ungar.  1995.  <b>Dynamic process
monitoring and fault diagnosis with qualitative models.</b> <CITE>IEEE
Trans. on Systems, Man, and Cybernetics</CITE> 25(1): 181-189, January 1995.. <br>
[ungar@central.cis.upenn.edu] <P>

 </ul>

<hr>

<a name="QSIM-adv"> </a>
<h2>Advances in Qualitative Simulation</h2>

 <ul>

  <li> P. A. Fishwick, N. H. Narayanan, J. Sticklen, and A. Bonarini.
1994.  <b>A multimodel approach to reasoning and simulation.</b>
<CITE>IEEE Trans. on Systems, Man, and Cybernetics</CITE> 24(10):
1433-1449, October 1994.  <P>

  <li> Wilfried Grossman and Hannes Werthner.  1993.  <b>A stochastic
approach to qualitative simulation using Markov processes.</b>
<CITE>IJCAI-93</CITE>. <P>

  <li> Roy Leitch and Qiang Shen.  1993.  <b>Prioritising behaviours
in qualitative simulation.</b> <CITE>IJCAI-93.</CITE> <br>
[rrl@cee.hw.ac.uk] <P>

  <li> Marco Platzner, Bernhard Rinner, Reinhold Weiss.  1994.  <b>A
distributed computer architecture for qualitative simulation based on
a multi-DSP and FPGAs.</b> <EM>Euromicro Workshop on Parallel and
Distributed Processing</EM>, Jan. 1995.  <br>

Parallel hardware implementation of the QSIM algorithm. <br>
[{marco,rinner,rweiss}@iti.tu-graz.ac.at] <P>

  <li> A. C. Cem Say and Selahattin Kuru.  1997.  <b>Postdiction using
qualitative simulation.</b> <CITE>IEEE Trans. on Systems Man and 
Cybernetics A</CITE> 27(1): 84-95.  <P>

  <li> A. C. Cem Say and Selahattin Kuru.  1996.  <b>Qualitative system
identification:  deriving structure from behavior.</b> <CITE>Artificial
Intelligence</CITE> 83(1): 75-141.  <P>

  <li> A. C. Cem Say and Selahattin Kuru.  1993.  <b>Improved
filtering for the QSIM algorithm.</b> <CITE>IEEE Trans. on Pattern
Analysis and Machine Intelligence</CITE> 15(9): 967-971, September
1993.  <P>

  <li> A. C. Cem Say and Melih Doyuran.  1994.  <B>The representative
power of quantity spaces and correspondences</B>.  In C. Bozsahin,
U. Halici, K. Oflazer, N. Yalabik (Eds.), <CITE>Third Turkish
Symposium on Artificial Intelligence & Neural Networks (TAINN
III)</CITE>, Middle East Technical University, Ankara. <P>

  <li> Q. Shen and R. Leitch.  1992.  <b>On extending the quantity
space in qualitative reasoning.</b> <CITE>Artificial Intelligence in
Engineering</CITE> 7: 167-173, 1992. <br> [rrl@cee.hw.ac.uk] <P>

  <li> Q. Shen and R. Leitch.  1993.  <b>Fuzzy qualitative
simulation.</b> <CITE>IEEE Transactions on Systems, Man, and
Cybernetics</CITE> 23: 1038-1061, 1993. <br> [rrl@cee.hw.ac.uk] <P>

  <li> Hiroshi Tanaka and Shusaku Tsumoto.  1994.  <b>Qualitative
reasoning of a temporally hierarchical system based on infinitesimal
analysis.</b> <CITE>Working Papers of the Eighth International
Workshop on Qualitative Reasoning (QR'94)</CITE>. <P>

  <li> Daniel Weld.  1988.  <b>Comparative Analysis.</b>  
       <CITE>Artificial Intelligence</CITE> 36(3): 333-373.  <P>
       Daniel Weld.  1990.  <b>Exaggeration.</b>  
       <CITE>Artificial Intelligence</CITE> 43(3): 311-368.  <br>
       [weld@cs.washington.edu] <P>


 </ul>



<hr>
<a name="QR-biblio"> </a>
<H2>Bibliography of QR Applications</H2>

<UL>
 
  <li> Robert Milne and Louise Trave-Massuyes.  1993.  <b>Application
oriented qualitative reasoning.</b>  <CITE>Working Papers of the Seventh
International Workshop on Qualitative Reasoning (QR'93)</CITE>. <br>
[rmilne@cix.compulink.co.uk; louise@laas.fr] <P>

</UL>

<hr>

<a name="QR-groups"> </a>
<h2>Qualitative Reasoning Generally</h2>

<ul>
  <li> Email discussion group:  qphysics@is.aist-nara.ac.jp  <br>
       Subscriptions:  qphysics-request@is.aist-nara.ac.jp
  <li> <!WA9><!WA9><!WA9><a href="http://www-ksl.stanford.edu/"> Stanford Knowledge Systems Laboratory</a>
  <li> <!WA10><!WA10><!WA10><a href="http://flute.aist-nara.ac.jp/doc/nishida-lab/home-nishida-lab.html">
       Toyoaki Nishida</a>, AI Division, Nara Institute of Science and Technology, Japan.
  <li> <!WA11><!WA11><!WA11><a href="http://www.qrg.ils.nwu.edu/">
       Ken Forbus</a>, Institute for Learning Sciences, Northwestern University.
  <li> <!WA12><!WA12><!WA12><a href="http://fitids01.tu-graz.ac.at/research/qsim.html">
       Reinhold Weiss, Marco Platzner, Bernhard Rinner</a>, 
       parallel hardware implementation of QSIM, T.U. Graz, Austria.
  <li> <!WA13><!WA13><!WA13><a href="http://www.cis.upenn.edu/~ungar/home.html">
       Lyle Ungar</a>, University of Pennsylvania.
</ul>

<hr>
<!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu/users/qr">[QR home]</a>

<address><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/kuipers">BJK</a></address>
